Goal programming

Results: 161



#Item
41Thread / Software development process / Computing / Exascale computing / Supercomputing

Exascale  Co-­‐design  Center  for   Materials  in  Extreme  Environments   Our goal is to establish the interrelationships between Application algorithms, Software (programming model and middl

Add to Reading List

Source URL: www.lanl.gov

Language: English - Date: 2014-12-23 10:35:39
42Source code / Scripting languages / Environmental science / Parameter / Subroutine / JavaScript / Loadable kernel module / Computer programming / Software engineering / Computing

BaseTools Extension The goal of this extension is to provide a few methods of automating/simplifying certain tasks when working with Base forms (with Basic. Most of the tools have been grouped into the RunCmd module. Oth

Add to Reading List

Source URL: www.prooo-box.org

Language: English - Date: 2013-10-15 15:31:17
43STRIPS / Finite-state machine / FO / Action description language / GOAL agent programming language / Automated planning and scheduling / Artificial intelligence / Hierarchical task network

Microsoft PowerPoint - Planning final.ppt

Add to Reading List

Source URL: www.cs.northwestern.edu

Language: English - Date: 2005-05-26 21:30:16
44Software development / Unified Modeling Language / Software design pattern / Software architecture / Object-oriented analysis and design / Pattern language / Software design / Object-oriented programming / Software architect / Software engineering / Science / Computing

Design Patterns Course Background: Fundamental to any science or engineering discipline is a common vocabulary for expressing its concepts, and a language for relating them together. The goal of Design Patterns is to cre

Add to Reading List

Source URL: www.mithun.nl

Language: English - Date: 2011-08-29 09:44:50
45Model theory / Logic programming / Situation calculus / Function / First-order logic / Interpretation / Mathematical logic / Logic / Mathematics

Proving Goal Achievability Fangzhen Lin Department of Computer Science and Engineering Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Add to Reading List

Source URL: www.cs.ust.hk

Language: English - Date: 2008-06-17 04:16:26
46JavaScript / Software engineering / Computer programming / Web 2.0 / Computing / Cross-platform software / Scripting languages

Web 2.0 and the Isolation Problem Case Study : FBJS Formal Semantics of JavaScript Achieving the Isolation goal Ongoing Language Based isolation of Untrusted JavaScript Ankur Taly

Add to Reading List

Source URL: w2spconf.com

Language: English - Date: 2012-02-07 16:10:05
47Type theory / Data types / Object-oriented programming / Cross-platform software / Functional programming / Type system / JavaScript / Duck typing / C / Software engineering / Computing / Computer programming

Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take

Add to Reading List

Source URL: samth.github.io

Language: English - Date: 2015-04-01 12:20:12
48Ethics / Software engineering / Notation / Programming language / Information flow / Information privacy / Actor model / Functional programming / Control flow / Computing / Privacy / Programming paradigms

RESEARCH STATEMENT JEAN YANG The goal of my research is to help programmers build more reliable software with less effort. Towards this goal, I developed a programming model that allows selective automation of specific c

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2014-11-30 11:20:32
49Massachusetts Institute of Technology / New England Association of Schools and Colleges / Programming language / Knowledge / Education / Cognition / Association of American Universities / Association of Independent Technological Universities / Association of Public and Land-Grant Universities

TEACHING STATEMENT JEAN YANG My goal in teaching is to provide students with a solid foundation to pursue the projects they want, regardless of discipline. Even though I am a computer scientist, I have diverse interests

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2014-11-30 11:20:45
50Cross-platform software / Data types / Java / Object / C / Computing / Software engineering / Computer programming

Java Performance Monitoring and Benchmarking Exercise 1 - Assignment 4 Monitoring Live Sets Goal The goal of this assignment is to develop a Java native agent that prints live sets currently in the

Add to Reading List

Source URL: www.ssw.uni-linz.ac.at

Language: English - Date: 2015-01-21 09:44:49
UPDATE